#include "WMTokenPassing.h"

void main ()
{
	wm_start_token_scheduling();
}
